<?php
require_once 'inc/tools.php';

$_SESSION["ocarrito"]->elimina_producto($_GET["linea"]);

//Redireccionar al carrito
header('location:ver_carrito.php?del=ok');
exit();
